Identifying Vulnerabilities in Smart Contracts using Interval Analysis
نویسندگان
چکیده
This paper serves as a progress report on our research, specifically focusing utilizing interval analysis, an existing static analysis method, for detecting vulnerabilities in smart contracts. We present selection of motivating examples featuring vulnerable contracts and share the results from experiments conducted with various detection tools. Our findings reveal that these tools were unable to detect examples. To enhance capabilities, we implement top Slither [3], tool, demonstrate its effectiveness identifying certain other fail detect.
منابع مشابه
Quantitative Analysis of Smart Contracts
Smart contracts are computer programs that are executed by a network of mutually distrusting agents, without the need of an external trusted authority. Smart contracts handle and transfer assets of considerable value (in the form of crypto-currency like Bitcoin). Hence, it is crucial that their implementation is bug-free. We identify the utility (or expected payoff) of interacting with such sma...
متن کاملSecurity Vulnerabilities of User Authentication Scheme Using Smart Card
With the exponential growth of Internet users, various business transactions take place over an insecure channel. To secure these transactions, authentication is the primary step that needs to be passed. To overcome the problems associated with traditional password based authentication methods, smart card authentication schemes have been widely used. However, most of these schemes are vulnerabl...
متن کاملImproving data transparency in clinical trials using blockchain smart contracts
The scientific credibility of findings from clinical trials can be undermined by a range of problems including missing data, endpoint switching, data dredging, and selective publication. Together, these issues have contributed to systematically distorted perceptions regarding the benefits and risks of treatments. While these issues have been well documented and widely discussed within the profe...
متن کاملModeling Services using Contracts Identifying Dependencies in Service–Oriented Architectures
Design by contract is a well-established paradigm in software engineering. Bertrand Meyer first introduced the rigorous distinction between the responsibilities of service provider and service consumer for fine grain software artifacts (classes). This paper considers service contracts in the context of service-oriented architecture for complex enterprise information infrastructures. Identifying...
متن کاملIdentifying Effective Factors in Making Smart Hospitals: A Qualitative Study (Content Analysis)
Introduction: Smartening hospitals can be effective in improving the quality and providing faster and better services and increasing the possibility of tracking and security of the equipment in the hospital. The current research aims to identifying effective factors in making hospitals smarter. Methods: The present research is a qualitative method of content analysis. The statistical populatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic proceedings in theoretical computer science
سال: 2023
ISSN: ['2075-2180']
DOI: https://doi.org/10.4204/eptcs.389.12